(加) 埃米莉·圣约翰·曼德尔Emily St. John Mandel 埃米莉·圣约翰·曼德尔1979年出生于不列颠哥伦比亚省西海岸的一个小岛，18岁时离家远赴多伦多舞蹈学院学习现代舞，毕业后成为职业舞蹈演员。目前与丈夫生活在纽约。 曼德尔2002年开始文学创作，短篇作品曾被许多选集收录。2009年起，她陆续创作发表了三部长篇小说《蒙特利尔的最后一夜》《歌手的枪》和《洛拉的四重奏》，均列入美国独立书商协会推荐榜单。 曼德尔2014年的作品《第十一站》备受瞩目，不仅被美国亚马逊网站列为当年度最佳科幻图书，而且入围了美国国家图书奖的决选名单，并在2015年夺得了由英国科幻协会颁发的阿瑟·C.克拉克奖。这部作品也将改编成电影登上大银幕。

A new, international bestseller by the author of The Alchemist tells the story of Maria, a young girl from a Brazilian village, whose first innocent brushes with love leave her heartbroken. At a tender age, she becomes convinced that she will never find true love, instead believing that "Love is a terrible thing that will make you suffer . . ." A chance meeting in Rio takes h...(展开全部)

Many years ago, the four children of the Brontë family – Charlotte, Branwell, Emily and Anne – lived in a windswept house by the Yorkshire moors with their father. Although their lives were often filled with sadness and their world was only as large as the distance they could walk, their inner worlds were bound only by their imaginations. Hungry for stories, these children devo...(展开全部)

【The Little Books of the Little Brontës】 ✰英國文學巨擘——勃朗特姐妹的故事 很久以前，在一個荒原的房屋裡，住著四位喪母的勃朗特孩子 – 夏洛蒂、布倫威爾、艾蜜莉和安妮。他們的生活充滿悲傷，活動範圍也十分有限，但他們的內心無拘無束，由想像力構築而成。 喜愛閱讀的孩子，讀著小說、詩歌、歷史與寓言故事。有一天，當他們收到一組士兵玩具後，更激發了創作的靈感，開啟了製作袖珍書的熱情，這份熱情將伴隨他們一生。 《The Little Books of the Little Brontës》描述了想像力的力量、說故事的樂趣以及對書籍的熱愛。這本書會讓喜愛勃朗特姐妹的讀者著迷，也讓初次認識她們的人留下深刻印象。 ✰勃朗特姐妹： 夏洛蒂－代表作《簡愛》 艾蜜莉－代表作《咆哮山庄》 安妮－代表作《荒野莊園的房客》 ✰本書特色： ...(展开全部)

《The Little Schemer：递归与函数式的奥妙》是一本久负盛名的经典之作，两位作者Daniel P. Friedman、Matthias Felleisen在程序语言界名声显赫。《The Little Schemer：递归与函数式的奥妙》介绍了Scheme的基本结构及其应用、Scheme的五法十诫、Continuation-Passing-Style、Partial Function、Y-Combinator、Interpreter等内容，并通过这些内容阐述了计算的一般本质。《The Little Schemer：递归与函数式的奥妙》没有什么理论性描述，所有概念都蕴含在独特的引导式一问一答过程中，这种方式让读者对程序大师运用熟稔的程序方法来驾驭概念的能力叹为观止。 通过阅读《The Little Schemer：递归与函数式的奥妙》，可以...(展开全部)

An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program's type describes its behavior. Dependent types are a first-class part of a language, and are much more powerful than other kinds of types; using just one language for types and programs allows program descriptions to be as powerful as the programs they describe. The Littl...(展开全部)

在线阅读本书 The little house first stood in the country, but gradually the city moved closer and closer.

Few stories are as widely read and as universally cherished by children and adults alike as The Little Prince. Richard Howard's new translation of the beloved classic-published to commemorate the 100th anniversary of Antoine de Saint-Exup‚ry's birth-beautifully reflects Saint-Exup‚ry's unique and gifted style. Howard, an acclaimed poet and one of the preeminent translators of o...(展开全部)

[FROM www.amazon.com]: The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, with the characteristic humor of The Little Schemer (fourth edition, MIT Press). Sometimes the best way to learn something is to sit down and do it; the book takes readers through step-...(展开全部)

The book, written in the style of The Little Schemer, introduces instructors, students, and practicioners to type-directed functional programming. It covers basic types, quickly moves into datatypes, and ends with a coverage of functional programming with modules. The book uses a minimal core of SML, which can easily be translated into the various ML dialects (SML/NJ, CAML). En...(展开全部)